English translation for "quantifier postposing transformation"

数量词后置转换

Related Translations:

postpose:  用在后面的

quantifier:  n.【逻辑学】限量词〔用 all, some 等语词以及前缀[词首]、符号等表示〕。

universal quantifiers:  概括性字眼

bounded quantifier:  有界量词

statement quantifier:  命题量词

quantifier elimination:  量词消去量消去

distributive quantifier:  分布数量词

unbounded quantifier:  无界量词

heterogeneous quantifier:  非纯一量词

nonstandard quantifiers:  非标准量词

Similar Words：

"quantified display" English translation, "quantified economic data" English translation, "quantified system analysis" English translation, "quantifier" English translation, "quantifier elimination" English translation, "quantifier scoping" English translation, "quantifier-free" English translation, "quantifier-free conjunctive-normal form" English translation, "quantifiter" English translation, "quantify" English translation